\begin{tabbing}
($\backslash$p.At\= (get\_term\_arg `UA` p) \+
\\[0ex](DTerm (get\_term\_arg `e` p) 0) p)
\-
\end{tabbing}